java -Xms10240m -Xmx10240m -jar ../epmc-standard.jar check --model-input-files zeroconf.prism --model-input-type prism --property-input-files zeroconf.props --property-input-names correct_max --translate-messages false --value-floating-point-output-native true --graphsolver-iterative-stop-criterion relative --graphsolver-iterative-tolerance 1e-6 --const N=1000,K=8,reset=false
assertions-disabled
start-parsing
done-parsing
model-checking
analysing-property correct_max
start-building-explorer
start-building-initial-states-explorer
done-building-initial-states-explorer
done-building-explorer
build-model-start
build-model-states-explored 35340 35340
build-model-states-explored 79399 44059
build-model-states-explored 125411 46012
build-model-states-explored 168211 42800
build-model-states-explored 214020 45809
build-model-states-explored 258811 44790
build-model-states-explored 297414 38603
build-model-states-explored 343060 45647
build-model-states-explored 388079 45019
build-model-states-explored 433423 45344
build-model-states-explored 476942 43519
build-model-states-explored 522729 45786
build-model-states-explored 567699 44970
build-model-states-explored 600198 32499
build-model-states-explored 646127 45928
build-model-states-explored 691934 45808
build-model-states-explored 737714 45780
build-model-states-explored 782285 44571
build-model-states-explored 827473 45188
build-model-states-explored 873182 45708
build-model-states-explored 918900 45718
build-model-states-explored 960807 41907
build-model-states-explored 1006125 45319
build-model-states-explored 1050008 43883
build-model-states-explored 1095580 45572
build-model-states-explored 1141098 45518
build-model-states-explored 1159827 18729
build-model-states-explored 1205566 45739
build-model-states-explored 1250814 45248
build-model-states-explored 1296121 45307
build-model-states-explored 1341726 45605
build-model-states-explored 1387255 45529
build-model-states-explored 1432420 45164
build-model-states-explored 1477831 45412
build-model-states-explored 1523364 45533
build-model-states-explored 1568595 45231
build-model-states-explored 1612161 43566
build-model-states-explored 1657962 45801
build-model-states-explored 1703307 45345
build-model-states-explored 1748698 45391
build-model-states-explored 1794507 45808
build-model-states-explored 1839477 44971
build-model-done 1870338 42
iterating
iterating-progress-unbounded 37 1.0083011872843799E12 1
iterating-progress-unbounded 78 4478.173403906993 2
iterating-progress-unbounded 119 155.95645480346968 3
iterating-progress-unbounded 160 0.006963969376523234 4
iterating-progress-unbounded 201 0.0013705222282590108 5
iterating-progress-unbounded 242 2.0410173174656326E-5 6
iterating-progress-unbounded 284 7.786799339862904E-7 7
iterating-done 287 7
model-checking-done 53
command-check-result-is 4.801413635072374E-8 correct_max